141. Gödel remembered :
پدیدآورنده : R. Gödel [and others] ; edited by Paul Weingartner and Leopold Schmetterer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Gödel, Kurt,Logic, Symbolic and mathematical, Congresses,Logiciens - États-Unis - Biographies,Logique symbolique et mathématique
رده :
QA9
.
A1
G63
1987
142. Godel remembered : Salzburg 10-12 July 1983
پدیدآورنده : R. Godel ... ]et al.[; edited by Paul Weingartner and Leopold Schmetterer
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1G63
1987
143. Grammatical inference
پدیدآورنده : / Josae M. Sempere, Pedro Garcaia (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Formal languages, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA267
.
3
.
I55
2010
144. Grammatical inference : Learning syntax from sentences : Third International Colloquium, ICGI-96 Montpellier, France, September 25-27, 1996 : proceedings
پدیدآورنده : Laurent Miclet, Colin de la Higuera )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1147
145. Grammatical inference : algorithms and applications : 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004 : proceedings
پدیدآورنده : Georgios Paliouras, Yasubumi Sakakibara )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
3264
146. Grammatical inference : algorithms and applications : 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings
پدیدآورنده : Arlindo L. Oliveira )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1891
147. Grammatical inference : algorithms and applications : 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006 : proceedings
پدیدآورنده : Yasubumi Sakakibara....]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
4201
148. Grammatical inference : algorithms and applications : 6th international colloquium, ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002 : proceedings
پدیدآورنده : Pieter Adriaans, Henning Fernau, Menno van Zaanen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2484
149. Grammatical inference and applications : second International colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings
پدیدآورنده : Rafael C. Carrasco, Jose Oncina, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
862
150. Grammatical inference : 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings
پدیدآورنده : Vasant Honavar, Giora Slutzki )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1433
151. Grammatical inference: theoretical results and application
پدیدآورنده : / ICGI 2010, Valencia, Spain, September 13 - 16, 2010. Josae M. Sempere
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Formal languages, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
E-BOOK
152. Higher-order algebra, logic, and term rewriting : first International Workshop, HOA'93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers
پدیدآورنده : Jan Heering...]et al.[, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Algebra,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
816
153. Higher-order algebra, logic, and term rewriting : second International Workshop, HOA'95, Paderborn, Germany, September 21-22, 1995 : selected papers
پدیدآورنده : Gilles Dowek ... ]et al.[, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Algebra,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1074
154. Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
9
.
A96
.
I34
1992
155. ISILC Logic Conference: proceedings of the International Summer Institute and Logic Collcquium, Kiel, 1974
پدیدآورنده : International Summer Institute and Logic Colloquium, University of Kiel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
3
.
L28
no
.
499
156. ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
پدیدآورنده : edited by G. H. Muller, A. Oberschelp, K. Potthoff
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
1
.
L4
v
.
499
157. ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
پدیدآورنده : edited by G. H. Muller, A. Oberschelp, and K. Potthoff
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
3
.
L28
Vol
.
499
158. ISILC Logic Conference: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
3
.
L28
no
.
499
159. Intelligent computer mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algebra ; Data processing ; Congresses. ; Mathematical analysis ; Data processing ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
160. Interactive Theorem Proving
پدیدآورنده : \ Christian Urban, Xingyuan Zhang (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,-- Congresses,-- کنگره‌ها,a03,a03
رده :
QA
76
.
9
.
A96
E-Book
,
